Большой энциклопедический словарь - алгебра логики
Алгебра логики
алгебра логики
система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле - табличное, матричное построение логики высказываний, определяющее логические операции над ними.
Рейтинг статьи:
См. в других словарях
1.
Алгебра логики, раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля и развивалась затем в работах Ч. Пирса, П. С. Порецкого, Б. Рассела, Д. Гильберта и др. Создание А. л. представляло собой попытку решать традиционные логические задачи алгебраическими методами. С появлением теории множеств (70-е гг. 19 в.), поглотившей часть первоначального предмета А. л., и дальнейшим развитием математической логики (последняя четверть 19 в. — 1-я половина 20 в.) предмет А. л. значительно изменился. Основным предметом А. л. стали высказывания. Под высказыванием понимается каждое предложение, относительно которого имеет смысл утверждать, истинно оно или ложно. Примеры высказываний: «кит — животное», «все углы — прямые» и т. п. Первое из этих высказываний является, очевидно, истинным, а второе — ложным. Употребляемые в обычной речи логические связки «и», «или», «если..., то...», «эквивалентно», частица «не» и т. д. позволяют из уже заданных высказываний строить новые, более «сложные» высказывания....Большая советская энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5282 | |
2 | 2776 | |
3 | 2667 | |
4 | 2653 | |
5 | 2171 | |
6 | 2166 | |
7 | 1920 | |
8 | 1771 | |
9 | 1768 | |
10 | 1736 | |
11 | 1486 | |
12 | 1481 | |
13 | 1387 | |
14 | 1335 | |
15 | 1293 | |
16 | 1256 | |
17 | 1244 | |
18 | 1159 | |
19 | 1144 | |
20 | 1065 |